Algebraic and coalgebraic methods in the mathematics of program construction - international summer school and workshop, Oxford, UK, April 10-14, 2000 : revised lectures
- Författare
- (Roland Backhouse, Roy Crole, Jeremy Gibbons (eds.).)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 2002 | Tyskland, Berlin | xiv, 385 sidor. ill. | |